////////////////////////////////////////////////////////////////////////////////
// Copyright (C) 2008 Michiel Helvensteijn                                    //
//                                                                            //
// This file is part of the Mist compiler.                                    //
//                                                                            //
// The Mist compiler is free software: you can redistribute it and/or modify  //
// it under the terms of the GNU General Public License as published by       //
// the Free Software Foundation, either version 3 of the License, or          //
// (at your option) any later version.                                        //
//                                                                            //
// The Mist compiler is distributed in the hope that it will be useful,       //
// but WITHOUT ANY WARRANTY; without even the implied warranty of             //
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the              //
// GNU General Public License for more details.                               //
//                                                                            //
// You should have received a copy of the GNU General Public License          //
// along with the Mist compiler.  If not, see <http://www.gnu.org/licenses/>. //
////////////////////////////////////////////////////////////////////////////////

#include "ast/functiontype.hpp"

/******************************************************************************
 * Includes                                                                   *
 ******************************************************************************/

#include <boost/foreach.hpp>
#define foreach BOOST_FOREACH

#include <boost/shared_ptr.hpp>
using boost::dynamic_pointer_cast;

#include <typeinfo>

#include <climits>

#include <cstdarg>

#include "assert.hpp"

/******************************************************************************
 * Function Implementations                                                   *
 ******************************************************************************/

shared_ptr<FunctionType> FunctionType::create() {
	return shared_ptr<FunctionType>(new FunctionType);
}

bool FunctionType::equals(shared_ptr<Node> other, bool countWeak) {
	assert(other);
	
	if (typeid(*other) != typeid(FunctionType))
		return false;
	
	shared_ptr<FunctionType> cother(dynamic_pointer_cast<FunctionType>(other));
	
	if (!return_type()->equals(cother->return_type()))
		return false;
	
	if (parameter_type_count() != cother->parameter_type_count())
		return false;
	
	for (unsigned int i = 0; i < parameter_type_count(); ++i) {
		if (!parameter_types()[i].type->equals(cother->parameter_types()[i].type))
			return false;
		
		if (*(parameter_types()[i].policy) != *(cother->parameter_types()[i].policy))
			return false;
	}
	
	return (!countWeak || weak_pointer() == dynamic_pointer_cast<FunctionType>(other)->weak_pointer());
}
